THE EPIC HERO IN TURK AND MONGOLIAN PEOPLE’S EPIC TRADITION

Epic Journeys: Studies in the Reception of the Hero and Heroism in Quintus Smyrnaeus’ Posthomerica

The Tradition of the Trojan War in Homer and the Epic Cycle, Jonathan

the relation between history and epic in iranian national epic

as bothepic and history express some stories of the past, their existing similaritiesand dissimilarities and their relation have attracted the attention of scholars.these two kinds of stories have been so similar that previous experts could notdistinguish the historical events from epics. in shāhnāme, as an excellent samplewhich iranians consider as their pre-islamic history until the last qaja...

EPiC Series in Computing

We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2017. This year, three tools CORA, Flow* and Isabelle/HOL (in alphabetic order) participated. They are applied to solve the reacha...

EPiC Series in Computing

Although clausal propositional proofs are significantly smaller compared to resolution proofs, their size on disk is still too large for several applications. In this paper we present several methods to compress clausal proofs. These methods are based on a two phase approach. The first phase consists of a light-weight compression algorithm that can easily be added to satisfiability solvers that...